TAGs: linear inequalities